#ifndef KERNEL_H_
#define KERNEL_H_

typedef unsigned int uint;
typedef unsigned int thread_t;
typedef unsigned char uint8;

void kernel_init();
void kernel_start();
thread_t kernel_thread_create(void(*task)(void*),void*args);
void kernel_start();
void tcb_switch();

#endif